AbMon\{i\} $\subseteq$ AbMon\{[i $\mid$ j]\}